How can I format strings in Python to include leading zeros for specific values